Programming languages - PDFSEARCH.IO - Document Search Engine

Programming languages
Results: 18154

#	Item
761	A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Source code Programming language implementation Functional languages Logic in computer science Programming language semantics Scheme Semantics Partial evaluation Programming language Macro Interpreter Action semantics
762	Propagation of Behavioral Variations with Delegation Proxies (Preprint)? Camille Teruel1 , Erwann Wernli2 , Stéphane Ducasse1 , and Oscar Nierstrasz2 1 Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Object-oriented programming languages Object-oriented programming Forwarding Objective-C Smalltalk Self Proxy Delegation Proxy server
763	BU CAS CS 320 (Summer I, Concepts of Programming Languages Inductive Reasoning Induction is a powerful tool for reasoning in mathematics. In the study of programming languages, it is frequent to encounter inductiv Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2016-05-19 17:18:34 Logic in computer science Mathematical proofs Mathematical induction Structural induction Binary tree Exponentiation Trace Markov number
764	BU CAS CS 525: Compiler Design (Syllabus) • Semester Spring 2005 • Instructor: Hongwei Xi • Lecture Times: MWF 3-4PM Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-01-11 00:22:23 Compiler construction Procedural programming languages Programming languages Compiler Programming language implementation XPL C Sharp Java
765	Index Symbols A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Symbols + addition operator Add to Reading List Source URL: pig.apache.org Language: English - Date: 2016-06-08 16:05:33 Cross-platform software Object-oriented programming languages Procedural programming languages Apache Software Foundation Hadoop Scala Apache Hadoop MapReduce Pig Operator C D
766	Work-First and Help-First Scheduling Policies for Async-Finish Task Parallelism Yi Guo Rajkishore Barik Raghavan Raman Vivek Sarkar Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-02-20 12:50:27 Parallel computing Concurrent programming languages Cilk Work stealing OpenMP Concurrent computing X10 Threading Building Blocks Unified Parallel C Multi-core processor Thread Futures and promises
767	56 Building a Simulation of the Spread of a Virus Using the AgentSheets simulation-authoring tool Alexander Repenning, Andri Ioannidou, and Jonathan Phillips Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 1999-12-08 13:29:07 Simulation software Simulation Visual programming languages AgentSheets Cross-platform software Alexander Repenning Computer virus Instructional simulation Virus Kodu Game Lab
768	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:03 Logic programming Filter theory Logic in computer science Knowledge representation Formal languages Situation calculus Fluent Well-formed formula FO Filter Frame problem Linear temporal logic
769	Revised7 Report on the Algorithmic Language Scheme ALEX SHINN AND JOHN COWAN (Editors) AARON W. HSU ALARIC SNELL-PYM ARTHUR A. GLECKLER Add to Reading List Source URL: trac.sacrideo.us Language: English - Date: 2014-04-22 00:19:59 Object-oriented programming languages Functional languages Subroutines Data types Procedural programming languages Scheme Lisp Anonymous function Scope Lambda calculus Free variables and bound variables Expression
770	Motivation Context Encoding Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Type theory Data types Procedural programming languages Polymorphism Cross-platform software Subtyping Type system Go -calculus System F ALGOL 68 Cons

UPDATE